﻿\section{\RU{Донглы}\EN{Dongles}}
\label{dongles}

\RU{Автор этих строк иногда делал замену \glslink{dongle}{донглам} или \q{эмуляторы донглов} 
и здесь немного примеров, как это происходит.}
\EN{The author of these lines, occasionally did software copy-protection \gls{dongle} replacements, or \q{dongle emulators} and here
are couple examples of how it's happening.}

\RU{Об одном неописанном здесь случае с Rockey и Z3 вы также можете прочитать здесь}
\EN{About one of the cases about Rocket and Z3 that is not present here, you can read here}:
\url{http://yurichev.com/tmp/SAT_SMT_DRAFT.pdf}.

\EN{\input{examples/dongles/1/main_EN}}\RU{\input{examples/dongles/1/main_RU}}
\EN{\input{examples/dongles/2/main_EN}}\RU{\input{examples/dongles/2/main_RU}}
\EN{\input{examples/dongles/3/main_EN}}\RU{\input{examples/dongles/3/main_RU}}

